// #include<stdio.h>
// #include<string.h>
// int main()
// {
// int a =0;
//  scanf("%d",&a);
// for (int k = 0; k < a; k++)
// {
// char arr[100] = {0};
// scanf("%s",arr);
//  int count =0;
// for (int i = 0; i <strlen(arr) ; i++)
// {
//     count+=(arr[i]-'0');
// }
// if(count%3==0)
// {
//     printf("YES\n");
// }
// else{
// printf("NO\n");
// }
// }
//     return 0;
// }
#include<stdio.h>
float zhekou(int zong,float price)
{
if (zong == 0)
return 0.8*price;
else if(zong ==1)
return 0.6*price;
else if(zong == 2)
return 0.55*price;
else{
    return 0.5*price;
}
}




int main()
{
    float mymoney = 0;
    float price = 0;
    scanf("%f %f",&mymoney,&price);
    int nowget = 0;
    float costall = 0;

while(mymoney>=costall)
{
float thiscost = zhekou(nowget,price);

if(costall+thiscost<=mymoney)
{costall= costall+thiscost;
nowget++;
}
else
{
    break;
}
}

if(costall<=50)
{
    if(costall+10<=mymoney)
    {
        costall+=10;
    }
    else
{
 costall-=zhekou(nowget-1,price);
 nowget--;   
}
}



printf("%d",nowget);
   
    return 0;
}